Monopole confinement by flux tube

We revisit Nambu's model of quark confinement by a tube of magnetic flux, with two additional features. The quarks are taken to be magnetic monopoles external to the tube, which seal the ends, and are also taken to be fermions. This ensures that the model is inconsistent unless there are at least two species of fermions being confined.Comment: 7pp; brief additions relating monopole strength to winding number, and discussion on length of stable flux tube; one reference adde

Quantitative multi-objective verification for probabilistic systems

We present a verification framework for analysing multiple quantitative objectives of systems that exhibit both nondeterministic and stochastic behaviour. These systems are modelled as probabilistic automata, enriched with cost or reward structures that capture, for example, energy usage or performance metrics. Quantitative properties of these models are expressed in a specification language that incorporates probabilistic safety and liveness properties, expected total cost or reward, and supports multiple objectives of these types. We propose and implement an efficient verification framework for such properties and then present two distinct applications of it: firstly, controller synthesis subject to multiple quantitative objectives; and, secondly, quantitative compositional verification. The practical applicability of both approaches is illustrated with experimental results from several large case studies

Spherical collapse of a heat conducting fluid in higher dimensions without horizon

We consider a scenario where the interior spacetime,described by a heat conducting fluid sphere is matched to a Vaidya metric in higher dimensions.Interestingly we get a class of solutions, where following heat radiation the boundary surface collapses without the appearance of an event horizon at any stage and this happens with reasonable properties of matter field.The non-occurrence of a horizon is due to the fact that the rate of mass loss exactly counterbalanced by the fall of boundary radius.Evidently this poses a counter example to the so-called cosmic censorship hypothesis.Two explicit examples of this class of solutions are also given and it is observed that the rate of collapse is delayed with the introduction of extra dimensions.The work extends to higher dimensions our previous investigation in 4D.Comment: 6 page

Percentile Queries in Multi-Dimensional Markov Decision Processes

Markov decision processes (MDPs) with multi-dimensional weights are useful to analyze systems with multiple objectives that may be conflicting and require the analysis of trade-offs. We study the complexity of percentile queries in such MDPs and give algorithms to synthesize strategies that enforce such constraints. Given a multi-dimensional weighted MDP and a quantitative payoff function $f$, thresholds $v_i$ (one per dimension), and probability thresholds $\alpha_i$, we show how to compute a single strategy to enforce that for all dimensions $i$, the probability of outcomes $\rho$ satisfying $f_i(\rho) \geq v_i$ is at least $\alpha_i$. We consider classical quantitative payoffs from the literature (sup, inf, lim sup, lim inf, mean-payoff, truncated sum, discounted sum). Our work extends to the quantitative case the multi-objective model checking problem studied by Etessami et al. in unweighted MDPs.Comment: Extended version of CAV 2015 pape

Star Cluster Formation from Turbulent Clumps. I. The Fast Formation Limit

We investigate the formation and early evolution of star clusters assuming that they form from a turbulent starless clump of given mass bounded inside a parent self-gravitating molecular cloud characterized by a particular mass surface density. As a first step we assume instantaneous star cluster formation and gas expulsion. We draw our initial conditions from observed properties of starless clumps. We follow the early evolution of the clusters up to 20 Myr, investigating effects of different star formation efficiencies, primordial binary fractions and eccentricities and primordial mass segregation levels. We investigate clumps with initial masses of $M_{\rm cl}=3000\:{\rm M}_\odot$ embedded in ambient cloud environments with mass surface densities, $\Sigma_{\rm cloud}=0.1$ and $1\:{\rm g\:cm^{-2}}$. We show that these models of fast star cluster formation result, in the fiducial case, in clusters that expand rapidly, even considering only the bound members. Clusters formed from higher $\Sigma_{\rm cloud}$ environments tend to expand more quickly, so are soon larger than clusters born from lower $\Sigma_{\rm cloud}$ conditions. To form a young cluster of a given age, stellar mass and mass surface density, these models need to assume a parent molecular clump that is many times denser, which is unrealistic compared to observed systems. We also show that in these models the initial binary properties are only slightly modified by interactions, meaning that binary properties, e.g., at 20 Myr, are very similar to those at birth. With this study we set up the basis of future work where we will investigate more realistic models of star formation compared to this instantaneous, baseline case.Comment: 25 pages, 19 figures. Accepted by Ap